This chapter contains sections titled: Validity in the Finite Model Theory in the Finite? Definability and Complexity First‐Order Definability Second‐Order Definability Inductive Definability Infinitary Logics Random Graphs and 0–1 Laws.

We describe a logic of preference in which modal connectives reflect reasons to desire that a sentence be true. Various conditions on models are introduced and analyzed.

Alternative models of idealized scientific inquiry are investigated and compared. Particular attention is devoted to paradigms in which a scientist is required to determine the truth of a given sentence in the structure giving rise to his data.

A model of idealized scientific inquiry is presented in which scientists are required to infer the nature of the structure that makes true the data they examine. A necessary and sufficient condition is presented for scientific success within this paradigm.

The presence of nonobservational vocabulary is shown to be necessary for wide application of a conservative principle of theory revision.

We provide a new interpretation of Zeno’s Paradox of Measure that begins by giving a substantive account, drawn from Aristotle’s text, of the fact that points lack magnitude. The main elements of this account are (1) the Axiom of Archimedes which states that there are no infinitesimal magnitudes, and (2) the principle that all assignments of magnitude, or lack thereof, must be grounded in the magnitude of line segments, the primary objects to which the notion of linear magnitude applies. Armed (...) with this account, we are ineluctably driven to introduce a highly constructive notion of (outer) measure based exclusively on the total magnitude of potentially infinite collections of line segments. The Paradox of Measure then consists in the proof that every finite or potentially infinite collection of points lacks magnitude with respect to this notion of measure. We observe that the Paradox of Measure, thus understood, troubled analysts into the 1880’s, despite their knowledge that the linear continuum is uncountable. The Paradox was ultimately resolved by Borel in his thesis of 1893, as a corollary to his celebrated result that every countable open cover of a closed line segment has a finite sub-cover, a result he later called the “First Fundamental Theorem of Measure Theory.” This achievement of Borel has not been sufficiently appreciated. We conclude with a metamathematical analysis of the resolution of the paradox made possible by recent results in reverse mathematics. (shrink)

We consider drawbacks to scientific methods that prefer simple hypotheses to complex ones that cover the same data. The discussion proceeds in the context of a precise model of scientific inquiry.

Criteria of approximate scientific success are defined within a formal paradigm of empirical inquiry. One consequence of aiming for less than perfect truth is examined.

This paper provides a mathematical model of scientific discovery. It is shown in the context of this model that any discovery problem that can be solved by a computable scientist can be solved by a computable scientist all of whose conjectures are finitely axiomatizable theories.

A criterion of adequacy is proposed for theories of relevant consequence. According to the criterion, scientists whose deductive reasoning is limited to some proposed subset of the standard consequence relation must not thereby suffer a reduction in scientific competence. A simple theory of relevant consequence is introduced and shown to satisfy the criterion with respect to a formally defined paradigm of empirical inquiry.

A paradigm of scientific discovery is defined within a first-order logical framework. It is shown that within this paradigm there exists a formal scientist that is Turing computable and universal in the sense that it solves every problem that any scientist can solve. It is also shown that universal scientists exist for no regular logics that extend first-order logic and satisfy the Löwenheim-Skolem condition.

This note investigates the class of finite initial segments of the cumulative hierarchy of pure sets. We show that this class is first-order definable over the class of finite directed graphs and that this class admits a first-order definable global linear order. We apply this last result to show that FO = FO.

This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)

ON DECEMBER 10, 1991 Charles Shonubi, a Nigerian citizen but a resident of the USA, was arrested at John F. Kennedy International Airport for the importation of heroin into the United States.1 Shonubi's modus operandi was ``balloon swallowing.'' That is, heroin was mixed with another substance to form a paste and this paste was sealed in balloons which were then swallowed. The idea was that once the illegal substance was safely inside the USA, the smuggler would pass the balloons and (...) recover the heroin. On the date of his arrest, Shonubi was found to have swallowed 103 balloons containing a total of 427.4 grams of heroin. There was little doubt about Shonubi's guilt. In fact, there was considerable evidence that he had made at least seven prior heroin-smuggling trips to the USA (although he was not tried for these). In October 1992 Shonubi was convicted in a United States District Court for possessing and importing heroin. Although the conviction was only for crimes associated with Shonubi's arrest date of December 10, 1991, the sentencing judge, Jack B. Weinstein, also made a ®nding that Shonubi had indeed made seven prior drug-smuggling trips to the USA. The interesting part of this case was in the sentencing. According to the federal sentencing guidelines, the sentence in cases such as this should depend on the total quantity of heroin involved. This instruction was interpreted rather broadly.. (shrink)

This is a review of the film Big Eyes. Adapted from a true story about artist Margaret Keane, the overarching theme of the movie is plagiarism. While most people think of written works such as books and articles being plagiarized, Big Eyes gives viewers insight into the world of stolen works of visual art, namely paintings. The victim finds moral courage through religion, while the thief lives in denial until death. Anyone with an interest in art, law, or psychiatry will (...) enjoy what Big Eyes has to offer. (shrink)

The tradition descending from Frege and Russell has typically treated theories of meaning either as theories of meanings, or as theories of truth conditions. However, propositions of the classical sort don't exist, and truth conditions can't provide all the information required by a theory of meaning. In this book, one of the world's leading philosophers of language offers a way out of this dilemma. Traditionally conceived, propositions are denizens of a "third realm" beyond mind and matter, "grasped" by mysterious Platonic (...) intuition. As conceived here, they are cognitive-event types in which agents predicate properties and relations of things--in using language, in perception, and in nonlinguistic thought. Because of this, one's acquaintance with, and knowledge of, propositions is acquaintance with, and knowledge of, events of one's cognitive life. This view also solves the problem of "the unity of the proposition" by explaining how propositions can be genuinely representational, and therefore bearers of truth. The problem, in the traditional conception, is that sentences, utterances, and mental states are representational because of the relations they bear to inherently representational Platonic complexes of universals and particulars. Since we have no way of understanding how such structures can be representational, independent of interpretations placed on them by agents, the problem is unsolvable when so conceived. However, when propositions are taken to be cognitive-event types, the order of explanation is reversed and a natural solution emerges. Propositions are representational because they are constitutively related to inherently representational cognitive acts. Strikingly original, What Is Meaning? is a major advance. (shrink)

Religion is not an evolutionary adaptation per se, but a recurring by-product of the complex evolutionary landscape that sets cognitive, emotional and material conditions for ordinary human interactions. Religion involves extraordinary use of ordinary cognitive processes to passionately display costly devotion to counterintuitive worlds governed by supernatural agents. The conceptual foundations of religion are intuitively given by task-specific panhuman cognitive domains, including folkmechanics, folkbiology, folkpsychology. Core religious beliefs minimally violate ordinary notions about how the world is, with all of its (...) inescapable problems, thus enabling people to imagine minimally impossible supernatural worlds that solve existential problems, including death and deception. Here the focus is on folkpsychology and agency. A key feature of the supernatural agent concepts common to all religions is the triggering of an "Innate Releasing Mechanism," or “agency detector,” whose proper domain encompasses animate objects relevant to hominid survival - such as predators, protectors and prey - but which actually extends to moving dots on computer screens, voices in wind, faces on clouds. Folkpsychology also crucially involves metarepresentation, which makes deception possible and threatens any social order; however, these same metacognitive capacities provide the hope and promise of open-ended solutions through representations of counterfactual supernatural worlds that cannot be logically or empirically verified or falsified. Because religious beliefs cannot be deductively or inductively validated, validation occurs only by ritually addressing the very emotions motivating religion. Cross-cultural experimental evidence encourages these claims. (shrink)

The Uniqueness thesis says that any body of evidence E uniquely determines which doxastic attitude is rationally permissible regarding some proposition P. Permissivists deny Uniqueness. They are charged with arbitrarily favouring one doxastic attitude out of the set of attitudes they regard as rationally permissible. Simpson claims that an appeal to differences in cognitive abilities can remove the arbitrariness. I argue that it can't. Impermissivists face a challenge of their own: The problem of fine distinctions. I suggest that meeting this (...) challenge requires impermissivists to loosen up at higher levels – when comparing belief-forming systems that differ in the fineness of their doxastic outputs. This more relaxed take on Uniqueness is a kind of ‘intraspecies impermissivism’. (shrink)

My objective in this paper is to compare two philosophical problems, the problem of the criterion and the problem of deep disagreement, and note a core similarity which explains why many proposed solutions to these problems seem to fail along similar lines. From this observation, I propose a kind of skeptical solution to the problem of deep disagreement, and this skeptical program has consequences for the problem as it manifests in political epistemology and metaphilosophy.

In the middle of the twentieth century a dispute erupted between the chief architect of Logical Empiricism, Rudolf Carnap, and Logical Empiricism’s chief reformer, Willard van Orman Quine -- who was attempting to save what he took to be its main insights by recasting them in a more acceptable form. Though both eschewed metaphysics of the traditional apriori sort, and both were intent on making the investigation of science the center of philosophy, they disagreed about how to do so. Part (...) of the disagreement involved the nature of ontological disputes. The central documents in the debate are: (i) Quine’s 1948 article, “On What There Is,” which tells us how to discern ontological.. (shrink)

Zero-sum aspects of sport have generated a number of ethical concerns and a similar number of defenses or apologetics. The trick has been to find a middle position that neither overly gentrifies sport nor inappropriately emphasizes the significance of winning and losing. One such position would have us focus on the process of trying to win over the fact of having one. It would also ameliorate any harms associated with defeat by pointing out that benefits like achievement, excellence, and moral (...) development are available to winner and loser alike. Relying on the notion of ‘frame’ introduced by Polanyi, I argue that this approach underplays the poignant drama of sport (including the sting of defeat) and thus, seeks redemption at too high a cost. I argue for a version of red-blooded competition that is justified more by transcendence than mitigation, more by a willingness to play again tomorrow than civility during any single contest. I analyze sport in terms of its receptivity to such repetition and find that epistemological uncertainty, enhanced by the presence of chance in sport, renders repeat engagements both sensible and attractive. I conclude that sport verdicts, unlike outcomes in war, business, and love, do not settle things. Rather they invite both winner and loser alike to ‘play again tomorrow’. (shrink)

Nearly all psychological research on basic cognitive processes of category formation and reasoning uses sample populations associated with large research institutions in technologically-advanced societies. Lopsided attention to a select participant pool risks biasing interpretation, no matter how large the sample or how statistically reliable the results. The experiments in this article address this limitation. Earlier research with urban-USA children suggests that biological concepts are thoroughly enmeshed with their notions of naive psychology, and strikingly human-centered. Thus, if children are to develop (...) a causally appropriate model of biology, in which humans are seen as simply one animal among many, they must undergo fundamental conceptual change. Such change supposedly occurs between 7 and 10 years of age, when the human-centered view is discarded. The experiments reported here with Yukatek Maya speakers challenge the empirical generality and theoretical importance of these claims. Part 1 shows that young Maya children do not anthropocentrically interpret the biological world. The anthropocentric bias of American children appears to owe to a lack of cultural familiarity with non-human biological kinds, not to initial causal understanding of folkbiology as such. Part 2 shows that by age of 4-5 Yukatek Maya children employ a concept of innate species potential or underlying essence much as urban American children seem to, namely, as an inferential framework for understanding the affiliation of an organism to a biological species, and for projecting known and unknown biological properties to organisms in the face of uncertainty. Together, these experiments indicate that folkpsychology cannot be the initial source of folkbiology. They also underscore the possibility of a species-wide and domain-specific basis for acquiring knowledge about the living world that is constrained and modified but not caused or created by prior non-biological thinking and subsequent cultural experience. (shrink)

While there is a growing literature on “dark traits” (i.e., socially aversive traits), there has been a lack of integration with the burgeoning research literature on positive traits and fulfilling and growth-oriented outcomes in life. To help move the field toward greater integration, we contrasted the nomological network of the Dark Triad (a well-studied cluster of socially aversive traits) with the nomological network of the Light Triad, measured by the 12-item Light Triad Scale (LTS). The LTS is a first draft (...) measure of a loving and beneficent orientation toward others (“everyday saints”) that consists of three facets: Kantianism (treating people as ends unto themselves), Humanism (valuing the dignity and worth of each individual), and Faith in Humanity (believing in the fundamental goodness of humans). Across four demographically diverse samples (N = 1,518), the LTS demonstrated excellent reliability and validity, predicting life satisfaction and a wide range of growth-oriented and self-transcendent outcomes above and beyond existing measures of personality. In contrast, the Dark Triad was negatively associated with life satisfaction and growth-oriented outcomes, and showed stronger linkages to selfish, exploitative, aggressive, and socially aversive outcomes. This exploratory study of the contrasting nomological networks of the Light vs. Dark Triad provides several ways forward for more principled and data driven approaches to explore both the malevolent and benefice... (shrink)

Memes are hypothetical cultural units passed on by imitation; although nonbiological, they undergo Darwinian selection like genes. Cognitive study of multimodular human minds undermines memetics: unlike in genetic replication, high-fidelity transmission of cultural information is the exception, not the rule. Constant, rapid 'mutation' of information during communication generates endlessly varied creations that nevertheless adhere to modular input conditions. The sort of cultural information most susceptible to modular processing is that most readily acquired by children, most easily transmitted across individuals, most (...) apt to survive within a culture, most likely to recur in different cultures, and most disposed to cultural variation and elaboration. (shrink)

I propose a way to accommodate plausible examples of cyclic grounding chains that have been proposed in the literature while preserving a good measure of the metaphysical foundationalist’s grounding hierarchy with a foundational level. This precludes the need to adopt a strong form of coherentism, such as the view that everything grounds everything, or even the view that everything grounds everything other than itself. I do this by developing axiomatizations of grounding which allow for localized cycles of ground at the (...) non-foundational and foundational levels, but which still place certain foundationalism-like constraints on the grounds that grounded facts must have. In addition, I point to considerations, previously put forth in favor of foundationalism and a strong form of coherentism, that also help support the views I develop. (shrink)

The need for conceptual work in marketing ethics is addressed by examining the five techniques of neutralization as a means for partially explaining unethical behaviors by marketing practitioners. These techniques are often used by individuals to lessen the possible impact of norm-violating behaviors upon their self-concept and their social relationships. Borrowed from the social disorganization and deviance literature, the five techniques of neutralization are: (1) denial of responsibility, (2) denial of injury, (3) denial of victim, (4) condemning the condemners and (...) (5) appeal to higher loyalties. Examples of marketing professionals using each of the five techniques are given, and a conceptual model linking the techniques of neutralization with unethical behavior is presented. Finally, relevant research questions are offered for consideration. (shrink)

It is commonly understood that in its focus on rights and obligations law is centrally concerned with organising responsibility. In defining how obligations are created, in contract or property law, say, or imposed, as in tort, public, or criminal law, law and legal institutions are usually seen as society’s key mode of asserting and defining the content and scope of responsibilities. This book takes the converse view: legal institutions are centrally involved in organising irresponsibility. Particularly with respect to the production (...) of large-scale harms – including extensive human rights violations, forms of colonialism, or environmental or nuclear devastation – and in opposition to conventional understandings of responsibility in law, morality and politics, the book provides a detailed analysis of the ways in which legal institutions – their practices, concepts, and categories – themselves operate as much to deflect responsibility for harms suffered as they do to acknowledge them. Drawing on a series of case studies from local, national, and global concerns the book analyses how law facilitates dispersals and disavowals of responsibility, and it shows how it does so in consistent and patterned ways. In assessing how this ‘organised irresponsibility’ operates, and what its consequences are for both legal analysis and society generally, a thoroughgoing re-evaluation of law’s methods, operation, and consequences is required. At stake is nothing less than a fundamental re-assessment of the role of modern law in the production and legitimation of human suffering. This innovative and interdisciplinary book provides a sustained challenge to conventional thinking about law and legal institutions. It will be of major interest to those working in law, political and legal theory, sociology and moral philosophy. (shrink)

In this essay, I defend the following two claims: reflective, critical reasoning is essential to the process of self-deception; and , the process of self-deception involves a certain characteristic error of self-knowledge. By appeal to and , I hope to show that we can adjudicate the current dispute about the nature of self-deception between those we might term "traditionalists," and those we might term "deflationists.".

As more and more instances of corporate hypocrisy become public, consumers have developed an inherent general skepticism towards firms’ corporate social responsibility claims. As CSR skepticism bears heavily on consumers’ attitudes and behavior, this paper draws from Construal Level Theory to identify how it can be pre-emptively abated. We posit that this general skepticism towards CSR leads people to adopt a low-level construal mindset when processing CSR information. Across four studies, we show that matching this low-level mindset with concrete CSR (...) messaging works to effectively mitigate the negative effects of inherent CSR skepticism on consumers’ attitudes, purchase intentions, and word of mouth. The resulting construal-mindset congruency strengthens the favorability of consumer responses through increased positive elaboration and perceptions of CSR message credibility. Furthermore, this congruency effect is shown to persist over time in skeptical domains but to dissipate in less skeptical domains. (shrink)

According to a simple formulation of doxasticism about propositional faith, necessarily faith that p requires belief that p. Support of doxasticism is long-standing and was rarely a matter of dispute until William Alston (1996) proposed that that the content of propositional faith need not be believed if it is accepted. Subsequently non-doxastic theories that reject the belief requirement have proliferated and have come to dominate literature in the field. This paper aims to redress the balance by identifying a dilemma for (...) non-doxasticism that comes into view when we draw out the implications of non-doxasticism for the interpretation of affirmations of religious propositional faith. One horn of this dilemma commits non-doxasticists to hermeneutic fictionalism: a substantive, contentious and little explored theory about religious discourse. The other appears to render the affirmation of faith prima facie bullshitting, leading to problems about the integrity of religious discourse and its speakers. (shrink)

We typically explain human action teleologically, by citing the action's goal or purpose. However, a broad class of naturalistic projects within the philosophy of mind presuppose that teleological explanation is reducible to causal explanation. In this paper I argue that two recently suggested strategies - one suggested by Al Mele and the other proposed by John Bishop and Christopher Peacocke - fail to provide a successful causal analysis of teleological explanation. The persistent troubles encountered by the reductive project suggest that (...) teleological explanations are irreducible and that the naturalistic accounts of mind and agency should be called into question. (shrink)

No semantic theory satisfying certain natural constraints can identify the semantic contents of sentences (the propositions they express), with sets of circumstances in which the sentences are true–no matter how fine-grained the circumstances are taken to be. An objection to the proof is shown to fail by virtue of conflating model-theoretic consequence between sentences with truth-conditional consequence between the semantic contents of sentences. The error underlines the impotence of distinguishing semantics, in the sense of a truth-based theory of logical consequence, (...) and semantics, in the sense of a theory of meaning. (shrink)

Social epidemiology has made a powerful case that health determined not just by individual-level factors such as our genetic make-up, access to medical services, or lifestyle choices, but also by social conditions, including the economy, law, and culture. Indeed, at the level of populations, evidence suggests that these “structural” factors are thepredominantinfluences on health. Legal scholars in public health, including those in the health and human rights movement, have contended that human rights, laws, and legal practices are powerfully linked to (...) health. Social epidemiology and health-oriented legal scholarship are complementary in their focus and their research needs. Legal scholarship has identified plausible ways in which legal and human rights factors could be influencing health, but empirical evidence has been limited. (shrink)

In this paper, I will argue for a complex of three theses. First, that the problem of deep disagreement is an instance of the regress problem of justification. Second, that the problem of deep disagreement, as a regress problem, depends on a dialecticality requirement for arguments. Third, that the dialecticality requirement is plausible and defensible.

Sacred values differ from material or instrumental values in that they incorporate moral beliefs that drive action in ways dissociated from prospects for success. Across the world, people believe that devotion to essential or core values – such as the welfare of their family and country, or their commitment to religion, honor, and justice – are, or ought to be, absolute and inviolable. Counterintuitively, understanding an opponent's sacred values, we believe, offers surprising opportunities for breakthroughs to peace. Because of the (...) emotional unwillingness of those in conflict situations to negotiate sacred values, conventional wisdom suggests that negotiators should either leave sacred values for last in political negotiations or try to bypass them with sufficient material incentives. Our empirical findings and historical analysis suggest that conventional wisdom is wrong. In fact, offering to provide material benefits in exchange for giving up a sacred value actually makes settlement more difficult because people see the offering as an insult rather than a compromise. But we also found that making symbolic concessions of no apparent material benefit might open the way to resolving seemingly irresolvable conflicts. We offer suggestions for how negotiators can reframe their position by demonstrating respect, and/or by apologizing for what they sincerely regret. We also offer suggestions for how to overcome sacred barriers by refining sacred values to exclude outmoded claims, exploiting the inevitable ambiguity of sacred values, shifting the context, provisionally prioritizing values, and reframing responsibility. (shrink)

While Immanuel Kant is an epochal figure in a variety of fields, he has not figured prominently in the study of rhetoric and communication. This book represents the most detailed examination available into Kant's uneasy but often misunderstood relationship with rhetoric. By explicating Kant's complex understanding of rhetoric, this book advances the thesis that communicative practices play an important role in Kant's account of how we become better humans and how we create morally cultivating communities.

On the Nature of Photographic Realism’ Kendall Walton argues that lack of mental-state involvement in the formation of photographic images is a quality that sets them apart from handmade images such as paintings or sketches. This paper defends and substantially develops this idea. It argues that viewers' knowledge of this objective character of the photographic process provides them with special warrant for the acceptance of first-order perceptual beliefs formed as a result of viewing photographic images. As well, it distinguishes between (...) two different ways in which mental states can be involved in the formation of photographic images, and uses this distinction to ward off the objection that decisions about film type, composition, moment of exposure, etc. undermine the objectivity of the photographic process. (shrink)

Are horror films immoral? Gianluca Di Muzio argues that horror films of a certain kind are immoral because they undermine the reactive attitudes that are responsible for human agents being disposed to respond compassionately to instances of victimization. I begin with this argument as one instance of what I call the Argument from Reactive Attitudes (ARA), and I argue that Di Muzio’s attempt to identify what is morally suspect about horror films must be revised to provide the most persuasive interpretation (...) of the ARA. I then argue that the ARA provides a compelling standard for evaluating the moral permissibility of creating and viewing horror films, yet I note that it is an exceedingly difficult practical task evaluating the risk that these films create for our reactive attitudes. My conclusion is that the ARA provides a useful way or orienting ourselves to the complicated details of evaluating the moral status of horror films. (shrink)

Though textbook tu quoque arguments are fallacies of relevance, many versions of arguments from hypocrisy are indirectly relevant to the issue. Some arguments from hypocrisy are challenges to the authority of a speaker on the basis of either her sincerity or competency regarding the issue. Other arguments from hypocrisy purport to be evidence of the impracticability of the opponent’s proposals. Further, some versions of hypocrisy charges from impracticability are open to a counter that I will term tu quoque judo.

This article argues against two theories that obscure our understanding of emotions whose objects are other emotions. The tripartite model of emotional intentionality holds that an emotion's relation to its object is necessarily mediated by an additional representational state; I argue that metaemotions are an exception to this claim. The hierarchical model positions metaemotions as stable, epistemically privileged higher-order appraisals of lower-level emotions; I argue that this clashes with various features of complex metaemotional experiences. The article therefore serves dual purposes, (...) offering metaemotions as a counterexample to an intuitive thesis about emotional intentionality, and examining their intentional structure in its own right. (shrink)

It is hard to think of a more banal statement one could make about the law than to say that it necessarily claims legal authority to govern conduct. What, after all, is a legal institution if not an entity that purports to have the legal power to create rules, confer rights, and impose obligations? Whether legal institutions necessarily claim the moral authority to exercise their legal powers is another question entirely. Some legal theorists have thought that they do—others have not (...) been so sure. But no one has ever denied that the law holds itself out as having the legal authority to tell us what we may or may not do. (shrink)